#!/bin/bash

# following the settings from litex_naxriscv
#
# region        start       size        attr    bus
# -------------------------------------------------
# io            0x80000000  0x80000000  io      p
# plic          0xf0c00000  0x00400000  rw      p
# clint         0xf0010000  0x00010000  rw      p
# rom           0x00000000  0x00020000  rxc     p
# sram          0x10000000  0x00002000  rwxc    p
# csr           0xf0000000  0x00010000  rw      p

sbt "runMain naxriscv.Axi4Gen --reset-vector=0 --xlen=32 --memory-region=2147483648,2147483648,io,p --memory-region=4039114752,4194304,rw,p --memory-region=4026597376,65536,rw,p --memory-region=0,131072,rxc,p --memory-region=268435456,8192,rwxc,p --memory-region=4026531840,65536,rw,p"
